#ifndef WLC_RAND_RANDOM_H_
#define WLC_RAND_RANDOM_H_

#include <stddef.h>
#include <stdint.h>

#include "../wlc_config.h"

void randombytes(uint8_t *out, size_t outlen);

#endif // WLC_RAND_RANDOM_H_